perm filename AMTI9.360[360,GF] blob
sn#793851 filedate 1985-05-27 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T Gβqp∂¬%p↓↔ Ehα↔UXβ⊗`ePβV@uH∧⊗0λαV ⊂αU`0⊂β∃` αU@0 αU 0(αU 0αU00αU 8αTau⊂λ∀@ HαT 0HαT Pβ∀0XαT `αS`0`αS@0hαS @`β∩A⊂8ε∩A⊂8ε⊃(D⊂∂HCapβDj⊃(*A↓⊂(*A↓ (*↓!0(*↓↓@(*↓↓@(*↓↓@()A!00)A↓@()A↓00)A↓0()↓! ()↓↓⊂0)∧*!⊂(A! ((A↓@ (A↓@((A↓@((↓!@((↓↓P((↓↓P((↓↓P('A!@('A↓@0'A↓@('A↓0('↓!⊂0%¬i! "Qλ1p∩πCaβA %8¬A%(β↓ 0⊂↓T``@βT@PXβ∀ Phα∀Ppα∪`Pxα∪@Qλ↓S Q⊂↓∪ Q⊂↓∪Q_↓∪Q_↓∩`dXαR`TPβ∩@TPαR@Q_↓∩@Q⊂↓R@Q⊂↓∩`Aλ↓R`Px↓R`Px↓S@p↓S @`↓S@@Hα∪`P(αT↓U_βQ(D ⊂λcapβDj⊃(*A↓0*A↓ (*↓!0(*↓↓P *↓↓P(*↓↓P()A!` )A↓p )A↓p )A↓`()↓!`()↓↓p()↓↓p()↓↓p((A!`0(A↓p((A↓p((A↓`((↓!`((↓↓`((↓↓`((↓↓P('A!@('A↓@('A↓0('A↓ ('↓ p8%¬)!_"QλQp⊂GC`8T"u(αα@U(αβ5 αC5 αβ 5 αβ 5 αβ 5_αA 0↓∀`@0↓↓@%_α↓@ 0↓∀`@(↓T@P(↓T@@(↓TAE⊂ε∀ P α∀ @0↓∀ @0↓∀ @0↓↓`%αA 00↓T@0↓↓`%αβ@5αβ 4xαC 4xαβ 4xαβDxαα`DpαBtP∩Bt("⊃CR∂π@q0(EJP ∧A*P ¬@j@(¬@j@ εj@ εj@ εj0(α@@P⊂)A`⊂α@J0 β@P⊂)AP_)↓ P_)↓P_)β
`(A @ (A`⊂(A`⊂(A`⊂(↓ P_(↓`⊂(↓
'A)p 'A p '↓) h%β(T #GDAp∂∧p(↓∃a@_↓∃ `(α 5_βα e⊂αB`eλαC EαC@DxαD4pαD 4hαD@$hαD@$`αD`$`αR`dXαR`TPβ∩@TPαC↓DPαC↓DPαDTPαDDXα∧DXαC`DXαC@T`αβ@DhαβTpαα@dxαAA¬ε@@%_∧↓$("∩∧B8∂π@ph↓C*⊂h↓C*P ε↓
P ε↓
@(¬A*@ ε↓
@ ε↓
@ ε↓
0(¬A*0 ε↓
0 ε↓
0 ε↓
(¬A* ε↓
! )¬
⊂(¬A*⊂ ε↓
⊂ ε↓
⊂ ε↓
(¬A* ε↓
ε↓
ε↓ p(¬A)p ε↓ p ε↓ p ε↓ `(¬A) `αβ `αβλT $Dbap∂↓aEλε∃ E(α∃U α∃E α∀`U_α∀`E_α∀@U⊂α∀@E⊂α∀ Uλα∀ Eλα∀Uα∀Eα∪`Txα∪`Dxα∪@TPε∩AD("∩BqX∂πA0`*C -↓⊂(,A⊂ ,A(,↓ ,↓
p(+A
p +A
`(+↓
` +↓
P(*A
P %@`p %↓ P(%↓ P %↓ @(%↓P %@`0(%BIP0"Q 2 ∪GC`8ε↓A5λε↓A5(αβe(αβE αB`5 αα@E αα E αα5_αA`5_α↓`5_α↓@5_α↓E⊂α@`e⊂α`u⊂αA¬⊂α 0λβ∀!_αT p αT `(β∀ @@αTP@αT@Hβ∀@PαT@PαS`PPβ∪`@`αS`@`αS`@`αS@P`β∩A@0ε∩A@0ε⊃(D`GβapβC*⊂h*A
P *↓*@ *↓
@ )A*0 )A
0 )↓* )↓
(A*⊂ (A
⊂ εJ(¬@j εJ ¬@j ¬@ip(¬ip ¬↓ p ¬↓ p ∧↓)`(β↓i!(%¬(T &Jeap∂↓a↓_∧T!⊃⊂∧U QλαU Qβ∃aβ∃`xβ∃`pβU`p↓ E_∧β↓¬_↓@@`↓ E_↓@@X↓@ E_↓@@P↓@@E⊂↓@@@P↓@U⊂↓`@H↓@@E⊂↓`@@↓@`E⊂↓`P8↓↓Eλ↓A@0↓@`Uλ↓↓ @(↓AEλ↓↓ @(↓↓ Eλ↓↓ @ ↓A E↓A @_↓A U↓↓@@_↓↓@E↓↓@Pλ↓A@E↓↓`@λ↓↓`Dx↓A`p0αS` @β↓`Dx↓αP@α∪@0@αBDhαα@@αRA (↓A!DP¬↓@ (ε⊃(Dp∩ capβB!⊂X(BAX*AA0 *AA@⊂*α↓ _*@⊂(¬J@⊂AA⊂⊂*@ (∧@J0_↓↓!_)@@00β@J0⊂α↓ p⊂)@@@(β@J _α↓@P_)@`(α@J ⊂β↓@@⊂)@p(αJ⊂_βA 0_(@A0↓J⊂⊂∧A ⊂(@A⊂(↓J_∧B*⊂¬Aj⊂¬Aj⊂ε↓Ip_ε↓Ip⊂εA)p⊂π↓ `_π↓ P π↓ PεI PεHT 'G$1p∂βA¬0ε∃` β∀`P@αT `Pα∀P`αS`Ppα∪`PpαS@PxαS QαS QαSQλαSQλαR`aλαR`Q⊂αR`Q⊂αR@aλβ∩@Q⊂αR@Q⊂αR@Qλβ∩@QλαR@QαR@QαR`@xαR`PhαS@`αSPPαS @HαS@P βSaUλ∧⊃(E∂λ#apβDJ⊃ *A↓(*A↓⊂(*↓! *↓↓0(*↓↓0(*↓↓0()A! 0)A↓0()A↓0()A↓ ()↓!⊂0)↓↓⊂0)↓↓0)∧
⊂x(A
⊂ (A
((↓
(↓ p('A p 'A `(%β `"Q
⊃h⊃Ic`p∧∃AE β↓e_αBUλβα@EαCTxαC@DxαC@TpαC`ThαDThαDT`αD T`αD TXβ∧ TXαD@TXαD@TPβ∧ dPαD@TPαD@TPαD dPαD TPαDTPαDTXαβ`TXαA`_αS@_β@@T`α@ 0_∧∪ @λ↓↓tpβ`txεA %λ¬↓@%@↓A 5@↓A 5@↓A5@α@E@∧V↓∃@∧⊗ eHαQ(E⊂∂λ#apβD*⊃ *Ap0*A↓⊂(*↓!⊂(*↓↓0(*↓↓0(*↓↓0()A! 0)A↓0()A↓ 0)A↓⊂0)↓!0)↓p8)∧
h(A ` (A↓ (A↓ (A↓⊂ (↓!((↓↓⊂((↓↓⊂((↓↓⊂('A!0'A↓⊂(αIp ∧A @⊂'A↓⊂(↓@i`(∧A _%βp@%β↓0"Q
1H∞πC``βA% ¬@@%_αAu⊂ααUλ↓B`Eλ↓B`5↓C5↓C $xαβ4xαβ$xαS`e∧T↓Eλε∀AE_ε∃a¬PαV`D`↓β@4`↓β@4`↓β@4`↓β@4X↓C 4Xαβ4Xαα`4XαB 4P↓@ @(α∩@0⊂¬R@ (βQ(E ∞Iβap↓FIQP&A@P αAI@(βAp &↓p(βA @_∧↓↓⊂_%@a⊂ ∧@i0_∧A↓⊂_%a⊂(∧@I _∧A↓ ⊂%A ¬J` *A*P *A
P *↓*@ *↓
@ )A*0 )A
0 )↓* )↓
(A)1%DλT *GDqp∂!P(¬RaP(¬S`@hα∪`@p↓∪@Ph↓S@@p↓∪@@p↓∪@@p↓∪ Ph↓S @p↓∪ @p↓∪ @p↓∪Ph↓S@p↓∪@p↓∪@p↓∩`Ph↓R`@p↓∩`@p↓∩`@p↓∩@Ph↓R@@p↓∩@@p↓∩@@h↓R@@`↓R`0`↓∩`@Hα∩`@@α∪P α∪!4xβQ(E0∂ capβ↓⊂H%β↓⊂H&A!p('↓↓p_'↓↓p_'↓↓`_'↓↓`⊂'↓↓P_'↓↓@_'↓!0⊂'A↓ _'A↓⊂_'A↓⊂⊂'A↓_'A↓⊂'Ap_'A`_'A P⊂(↓@_(↓0_(↓0⊂(↓ _(↓ ⊂(↓⊂_(↓j0(A*⊂ (@j⊂_(@HT +If⊃p∂↓ _ε↓A∧P¬a@0∧∪PPαC4`αB@P`↓∪ @Xαα`4hαα`@X↓∪ @PαB@4hαα `H↓S @Hβα $hααp@↓S @@↓ @@↓∪ @8↓@ @8↓S @8↓@@8↓∪ @0↓@@@0↓S @0↓`@0↓∪ @(↓@`@(↓S @ ↓A@ ↓S @ ↓↓ @ ↓∪ @_↓A @_↓S P⊂↓↓@P⊂↓∪@@λ↓A`@λ↓S@@λ↓α@λ↓∪@p@βS@`Hβ∪@PPαS@PPαS@@Xα∪@@Xα∪@0`↓S@0`↓S@ h↓⊃(E@⊃I#apβC @X(C @X*AA (*AA _+↓!⊂_+↓!_+↓@`_+A P_+A@0_,↓ 0⊂,↓ _,α+⊂8,AK (-↓+⊂8,AkH+@` (+`0(*@`@0*``()@`p0)a⊂()A 0(@a0('A↓@('↓!08%α`p`%α`p`"Q⊃p∪GC`εB↓∀PεB↓∀pαC@TpαC@4pββ4xαC$xαB`4xβα 5αB5αA`5β↓@%λαA 5λαA5λβ@5⊂α@@%⊂α@ 5⊂∧∀`e_αT`U_αT`E_α∀`E⊂αT@E⊂α∀@EλαS!Dhε⊃(EP∞πcap∧¬
! )↓A0)a 0(A↓⊂0(@a⊂0(@a⊂((@A⊂0(a0(A0(@p0,A+0+AJ`0*AJP(*↓J00β@J 0β@j⊂0∧j⊂(∧@J0∧ip0∧@i`0∧@iP0¬iP(¬i@0∧A 00βAi! %¬λT 0DBq_ A`Pλ↓∪a4pα@@Thα↓Thα↓ D`α↓ TXαA DXα↓@DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ P⊂↓∩@@(α`$Pα↓ @⊂↓R@@ α@@$X↓@@pλ↓Spλβ∪ @ α⊃(F⊂πEβap↓↓i@8'A p '↓)` '↓ ` &A)P &A PH&αi@0↓↓ @(αi@ αA 0(αA 0 β↓ 0 β↓ 0 β↓ (αA) β↓ β↓ αA) αA αA α↓ ↓A 0_↓↓ @8&A(T 1CbA_ BU∧∪`@⊂α∪@@⊂αS @_αS@ αS@(↓R`DXα∩@TPα∩@DPα∩@DPαα$Pα↓`4X↓A@4Xα`D`∧S@T("→α1@∂πA@8+↓k⊂ ,A(,↓ ,↓
p(+A
p (A ⊂ 'C `(↓↓)P α↓)P αA @ αA)0(αA 0 β↓ 0 β↓ (αA) β↓ β↓ β↓ αA ⊂%↓P ↓@I αA _%↓@(↓I0_↓↓`⊂_&↓`⊂0&A@ "QPx
∧b0@αT↓∧pα@@DhαA4hα↓ 4`α↓ DXα@`TXα tX¬∩A∧Pα∩@DPα∩@DPα↓`4X↓A`4X↓A TXα`T`∧S@d("→BQ ∪GA`(+Aj`H+α*P A*P ↓jP *A
@ *↓
@ (αjX)A*0 )A
0 )A
()↓
)↓
(A*⊂ (A
⊂ (A
(↓
(j_'A 0_@i @%α 8%↓I0 "Qq⊂
Gα0Hα@ %λ¬TP⊂αS`@ αS`@(α∪@@(αS P(α∪ @0α∪ @0α∪P(αS@0α∪@0α∪@0α∪@(αS@(α∪@(α∪@ αS 0⊂βSA$xα E α∀`U_α∩`0(α∩@P_αR@P_α∩@PλαRa∀`β⊃(F@
¬capα↓i`8(A
⊂ (↓* (↓
'A)p 'A p ↓↓ ``'α⊂ '↓@@_'↓ P &A@@(&A P &A P &A` &↓ P(&↓` &↓` &↓P(%A P ↓@I0 β↓0⊂%AP(↓i0 αA0⊂%↓ `_A βAi0⊂∧AλT 4C"↓p∂α 5⊂αT@U⊂αT`48αS@Dhβ∪0λα∩`0⊂α∩` _α∩@0⊂αR@ _α∩@ _α∪@Tpα∪@DhαS D`α@@$`α`$`α@4`α@$`α 4hβ∪@D("~B1λ∪GAp_,↓+(,↓+⊂_#A*@ )↓j⊂ @j⊂⊂↓A
_↓A p_↓A)p⊂α↓ p⊂α↓
P *↓*@ *↓
@ )A*0 )A
0 )↓* )↓
(A*⊂ %@`0 %↓ ⊂(%↓ ⊂ %α)08&↓(T 5Dbap∂↓tpβT Eλα∀Uα∀Eα∪`Txα∪`Dxα↓ DpαAdpα↓tpαa∧pα@0λαS Pλ↓@`4hα 4hβS d`∧S@λαS@_α∪@_α∩`P_α`$Xα↓@_↓∩`@ α@4Xα↓@⊂↓∩@P(↓@ 4Pα↓@dX↓αD("≠↓ h∂π@@0'↓J (↓ p('A p 'A `('↓ ` '↓ P(&A P &A @(&↓ @ &↓ 0(%A 0 %A (↓I ↓@I ↓i ↓I @i00&↓λT 6H$Q_ @`00αA@T`β`p βR`0λ↓@@0⊂α@0⊂α∩` ⊂βA0λ↓A4X↓@`(β↓ 4P↓@ `(β↓ DP↓@P0αA@DP↓@P0αA@Dpα↓`@8α∪ P0αA@Thα↓`@8α∪ @8α↓`Dhα↓`@0αSP0αA@@_↓∪@8α↓`@_↓∪@8α↓@P⊂↓S@8α↓@@_↓∩`P0αA`0λα∩`@8ααt`↓α Pα⊃(FpεB1_↓@``(&↓@08%@`⊂_↓` %@@ 8αi0⊂↓↓@P_%`⊂0αA ⊂↓↓ ` %@ (β↓ ` βA P(β↓)P βA P βA P β↓)@(β↓0⊂&↓p ↓@I@ β↓ _&↓` ↓@I0(β@`⊂ %A↓8&A "Q
qλ∧b0@αT↓∀xα`Dpα↓Dhα↓@4`α↓`D`α↓`DXααDXααDPαA`TPααDPααDPα↓`TPα↓`DPα↓@TPα↓@DX↓A DXα`D`∧S d("≤αQ0∞∧`` ↓A)p0Aip⊂A@ '`⊂(αi`⊂↓↓P &@`⊂(αA P⊂↓↓` &@@ β↓
⊂ β↓
(αA* β↓
β↓
αA)p(αA p β↓ p αA p α↓ `0↓↓ `X'↓⊂('↓ P(&A P &A @(&↓ H%α(T 8D"a` A`P⊂↓SaDpα@@Thα↓Thα↓ D`α↓ TXαA DXα↓@DXα↓@DPαA TPα↓@DPα↓@DPα↓@DPα↓ TPα↓ DPα↓ DPα↓TX↓@@t`¬∪ @λα∀@EλαT Eλα∀ EαTDh¬∪!$("≤Aq_ D`0 αi@0↓↓)@⊂@`⊂0%@`⊂P%@@ P%`⊂(↓i ⊂↓↓) ⊂↓↓ ` &A)P &A P &↓)@ &↓ @ %A)0 &HT 9Dα1_ A`e∧S`0 ↓S@00↓S@0(α∪ @(α∪ @0↓∪ tp∧SA$x∧T@tX↓A`DPαA@DPαA@4PαA@4Pα↓@4Xα↓D`¬∪@d("≥↓A
F``⊂'A p 'A p '↓)` '↓ `%β P &A P &↓)@ &↓ @ %A)0 %A 0 %↓ @⊂%↓P⊂%↓@_%↓0_%↓ _%Ai@("Q∞Q(Db0 ↓B $hβ↓@D`↓@ 00α∩`0⊂↓A@DX↓@@0α∩@0⊂α↓ TP↓@P(α∩@ ⊂α↓@Dpα↓@DhαA Thα↓@Dhα↓@Dhα↓@Dhα↓ P⊂↓∪ @(α`$hα↓P⊂↓S @ α@@$hα@pλ↓SAλβ∀@ α⊃(G0 ¬B1_α`p⊂&A@@ &`⊂_α↓)0_AP %@@ αA _↓↓`_%@ (βI ⊂↓↓p⊂'↓p⊂&A `_&Ap⊂&Ap⊂&A`_&A`⊂&AP_&@`P_&A@⊂&A 'α
"Q∞qX∂Db0 ↓B 0↓∪ `(α↓D`↓@ 0(α↓TX↓@@0(α↓ DX↓@@(α↓ DP↓@@@ αA@4P↓@P α↓`$P↓@@(α↓`$pα↓ @8↓∪ P αA@4hα↓ @8↓∪ @(α↓`$hα↓ @0↓S @(α↓@$h↓A @0↓S 0(α↓@$hα`` ↓S @⊂β@`4pβ@A¬α↓ T("≡α10 D`P(α↓ `8↓↓IP_↓αi@_ααI@⊂αA⊂(%@`@(↓i0⊂αA 0⊂αA
(A*⊂ (A
⊂ (↓ P⊂%@` βI (AP_%α@P⊂%α` %↓@ @%A@("Q∂⊃⊂πα0 ↓B$hβ↓ D`↓@ 0(α∩`0λα↓ DX↓@@(α∩@0⊂α↓TP↓@P α∩@ ⊂α↓ Dpα↓ DhαAThα↓ Dhα↓ Dhα↓ Dhα↓Th↓A Dh↓A Dhα`Thα@dp¬∀↓¬ α∀`TX↓A DPα@`TPα@`DPα@@DPα@DX∧∪T("≡B!( D`p_βIp0αip`'β `_↓AI`⊂βjP_*j0_)j⊂_(ip_'`p⊂&@a⊂&↓ P %CI0_B) _↓Ai ⊂αA(T πβqp∂↓bUλ
U @@αU @P↓UPP↓U@X↓U@X↓U@X↓T`PX↓∀`@`↓∀`@`↓∀`E⊂αT@E⊂α∀@EλαT Eλα∀ EαTEα∀DxαS`Dxα∪`DpαRATPεQ(@λ∂λ#ap
@Kp_/↓P(.↓K@8-@`⊂ -` -@0 ,@`0 ,`@(+@`` +@@p +`p *@a(*a *A0 )@a0 )a@((@a` (@Ap (ap '@b '@B⊂('b &@b0 &b@ &π 1h%πI!p"Q!h⊃GC`p∧∃AE β↓e_αBUλβα@EαCTxαC@DxαC@TpαC`ThαDThαDT`αD T`α@ P↓@TXβ!`⊂αR`P⊂π@TXα@A`⊂αR@`λπ@ dPα@@ P↓@TPα@@ P↓@TPα@@ P↓ dPαD TPαDTPαDTXαβ`TXαC T`αβT`αB@Thαα TpαAtxεT!∧("bqP∂πB ⊂-@k0_-↓ ,A+⊂(,↓K0+Ajp8+α
`⊂A*P_A*P⊂↓↓*@_↓↓*@⊂↓A*0_↓A*0⊂α↓* _α↓* ⊂αA*⊂_αA*⊂⊂β↓*_β↓*⊂βA)p_βA)p⊂∧↓)`_∧↓)P βAI H↓β H↓βλT απβqp∂↓bUλ
T"Uλ
T1↓T!λ↓∀!λ↓⊃`%λ↓β %λ↓β %↓C5λTα∃λSb$x↓β $x↓β $x↓β $8↓R`!λ↓∩`!λ↓∩`!λ↓∩bTP∩BTP
Q(@(∩ capβG*⊃h*A↓@ *A↓@ *↓!0(*↓↓@ *↓↓@ *↓↓@ )A!0()A↓@ )A↓@ )A↓@ )↓!0()↓↓@ )↓↓@ )↓↓@ (A!0((A↓@ (A↓@ (A↓@ (↓!0((↓↓@ (↓↓@ (↓↓@ 'A!0('A↓@ 'A↓@ 'A↓@ '↓!0(%α``X%α``X"Qb⊃GC`8T#∃⊂αβ@e⊂α∧ 5⊂αD5_α∧5_αC`5 αβ`5 αβ`% αC@%(αβ@%(α∃ U0α∃@U8α∃`50↓U 5 ↓C@%_↓C@5⊂↓C`%λ↓C`5↓D4x↓D4p↓D 4h↓D D`↓C@tXRC∀PQ(@8∞ #apαA! 0&B↓@&α@`P%A 0 α↓@_%↓P ↓A`⊂%`p_↓↓p⊂%A_A↓⊂%A8∧@J@8*A*@0*↓*@(*↓
@ *↓
0()A
0 )A
()↓
)↓
⊂((A
⊂ (A
(%CI0p"Q↓↓P⊂GC`HπTau@α⊗E8αU!¬⊂π∀`λα Tpβ@P⊂αS `_α↓T`αA @(αR``(α↓ TXαA P(αR@`(α↓@TPαA@@0αR@P0α↓@TPαA P(β∩@P(α↓@TPαA @(αR@P(α↓dXα↓P_β∩`P_α`T`β!4pπ∀↓∃⊂α∀@E⊂α∀ T`π∪↓d("α#" ∂π@pp(CJ` +↓
P(*A βA`(%↓ ` β↓)0 αA P(%AP αA)0 αAP %AP αA (α↓ @(%↓P αA αAP %↓P α↓) α↓ @ %↓@ α↓) α↓0(%↓ 0 ↓A 0 ↓↓ (%A ⊂ AI@x&C `P(↓
(↓ p(%βI p"Q↓!p⊃πC`x∧UAe βA e⊂βα@UλββUββ Txββ@TxαDDpββ`TpαDTpαDTpαDTpαC`Tpα∧Tpα∧Dpαβ`Dpαβ`Dx↓C@Dx↓C@Dx↓C Dx↓C 4x↓CDx↓B`DX↓` X↓@`$X↓`0H↓@`4P↓@`0H↓@`$P↓@`0@↓@`4P∧Aa∀P∧Aa∀P∧AA$P∧AA∀("λ!1∂π@p_(↓*((↓*('A)p('A)p 'A p '@i` '↓ ` 'i`_'i`⊂&@iP_&@Hp_%@i (%↓) (%@hT ⊃GdB0∂∧` @↓↔ 8↓W08↓↔ 8↓V`08↓⊗` 8↓V@08↓⊗@ 8↓V 08↓⊗ 8↓V08↓⊗ 8↓U`08↓∃` 8↓SβT`∞U 08↓∃ 8↓U08↓∃ 8↓T`08↓∀` 8↓RCTP∞T 08↓∀ 8↓T08↓∀ 8↓S`08↓∪` 8↓S@08↓∪@ 8↓S 08↓∪ 8↓S08↓∪ 8↓R`08↓∩` 8↓R` 8↓⊃(B(⊃J∧Bλ¬↓α0⊂)AB⊂_)↓⊂_π@j⊂ ↓@AP (↓@_¬A p αA↓('AQ'↓ P⊂C)` βA _'↓`⊂∧@i` βA_'↓P_β@i`_β@p_'`P_βi`_α@@`_'`@_α@i` AP_'A`P_(↓`_αA⊂_α↓k_α↓ _+@`@ αJp⊂α↓P⊂+`@ α@JP_α↓ P⊂*`P βJ0_β↓`⊂)``(α@j⊂_βA`⊂(a βIp_∧AP_'a α@IP_¬A@_&a@ ↓@i0_π` _%b0%B "Q∧pHλC#` ↓S Thβ∪ dpαT%↓∪`4x↓∪@4h↓S4Pα∩@4("
α⊃8⊗λ!p⊂+A
` *A
@ )A
0_)↓
⊂ (A
(↓ p 'A ` '↓ P(&A P &↓)@ &↓ @ %A)0 %A 0 %A 0 %↓ %↓ %↓ %↓ %@i0_%@i0_&i@_&@i`⊂"Q¬⊃λλK∧⊂X↓∃ 50↓U`58↓U`58α⊗5@↓V5@↓V58α∃`E8α∃`E8α∃`E8α∃@U0α∃@E0α∃ U(α∃ E αUE α∀`U_α∀`E⊂α∀@Eλα∀ Eα∀Dxα∪`4p↓S 4`↓R@DP↓Q(BPλε""λ∧j _)j _&`0⊂↓@i@_↓@@0_&↓ ⊂↓↓ P_↓ ⊂ '@@⊂ (↓
'↓⊂⊂%↓ ⊂⊂A) ↓@ %`0⊂↓@ip_'↓ `_'hT ∃Fd⊃`D%P↓⊗@%H↓V %H↓⊗ %@↓V%@↓⊗%8↓U`$P
RC50↓U@%0↓∃@%(↓U %(↓∃ % ↓U% ↓∃%_↓T`$("↓PεA@_&A)P(&A)`_'@I`_'IP_&@I@_%@i _%HT ↔↓! α 4PαR@TPαR`4("c1X⊗λ#⊂⊂1@L _0@l⊂⊂0l⊂/@kp⊂/kP_.@K@_.K0_-k ⊂,@k⊂⊂,k⊂+@j`_+JP_*@J@_*J0_)j ⊂(@j⊂⊂(j⊂'@i`_'IP_&@I@_&I0_%i ⊂"Qπ @εDb0 ↓S ThαS Tp↓Qa∀X↓R@TPαR@TX↓Q(CX¬C#A_β@j((↓*((@hpH'iP(&A)P('ip⊂'i`⊂&@iP⊂&i0_%i ⊂"Qπ@`ππBP@↓T UλαT U⊂↓Q`%λ↓∀ %↓T5↓S`4x↓S`4pα∪@Dp↓S Dhα∪ D`αSDXαR`TXαR@dPαR@TX↓Q(Ch∂λa1λ↓π A`#Ai!X%εhT π$1p∂βA¬0ε∃P0αT`@Pα∀ @p↓∀@x↓S`00β↓@$p↓A↓ (↓S@ αA0(↓∪ 0_α↓`P⊂↓∪ _ααP⊂↓∪0⊂αB @⊂↓∪ _αα P⊂↓∩`0⊂αB @_↓∩` _αα@@_↓∩` _αα@@_↓∩@0⊂αB P⊂↓R@ _αα@@_↓∩@ _αα@@_↓∩@ ↓B@@⊂↓R@ ααP⊂↓∩@ α↓@`⊂↓R@0 α↓pλ↓R` (∧@@dX↓A@` α∪$`↓S 1α∪@@H∧Sb%λ¬Q(EXλDeBλ¬AJP0*@J@_*J@⊂*J0_)@J0⊂)@J _)J ⊂)J⊂_(@J⊂⊂(@J_(J⊂(Ip_'@Ip⊂'@I`_'I`⊂'IP_&@IP⊂&@I@_&I@⊂&I0_%@I0⊂%@I 0%↓HT .Dαα`⊂B`U(αV%8↓U`%8↓∃`%0↓U@%0↓∃@%(↓U %(↓∃ % ↓U% ↓∃%_↓T`%_↓∀`%⊂↓T@%⊂↓∀@%λ↓T %λ↓∀ %↓T%↓∀$x↓S`$x↓∪`$p↓S@$p↓∪@$Pβ∩@T("_↓↓εG@`⊂'@i`_&@i@_%@i0⊂%@I _%↓) 0%↓I 0%AλT _¬#⊃`∞α`e_∧T P_α∀@0α∪`@@↓S`@@↓S@@Hα∪@@Hα∪ @Pα∪ @Hα∪ @Hα∪@Pα∪@Pα∪@Pα∩`PHαR`@Pα∩`@Pα∩`@Pα∩`@Hα∩`@Hα∩@@Pα∩@@Hα∩@@Hα∩`0@α∩`0@α∩`@0α∪@_αS!∀pβ⊃(CλλEβA`π@K_+A
` *A*08(αJ A
P *A
@(*↓
@ *↓
0()A
0 )A
()↓
)↓
⊂((A
⊂ (A
(%∧ !"Qε! πβ@Xβ∀a∃⊂α`Eλ↓A@5αA Dx↓@ (α∪` ⊂↓↓ Dp↓@@ (α∪@ _↓↓ Dp↓@0(α∪@ ⊂↓↓ Tp↓ 0(α∪@P(α∪@@(α∃@E(α∀`EλαTDx↓S@4h↓B@$`↓B@4`αα4X∧@`DX↓@!4P↓@a$P↓↓@tP↓↓`D("bA@∞π↓00)B*⊂(↓A
β↓
⊂@@P '@`⊂⊂βi`_↓@P '@0⊂αA `⊂↓@@P '@ _α↓)`⊂↓@P '↓@@ 'A0()α
8+↓
p_+A
p +A @_∧↓ 0(βA 0β↓) 0β↓ (β↓ 0⊂βA)0 α↓ @P'↓HT ~∧bR(∞∧%Hα⊗U@α⊗E@α∃`E8α∃`E0α∃@E(α∃ E(↓UE ↓T`E_↓T@0⊂↓∀ @λα∀ 0⊂α∀0_α∪`0 α∪@0 αS @ α∪`_α∩adPαa4P↓α↓¬ α∃E_αT`E_α∀`E⊂αT@E_↓⊃(C(
F#A`∧A_)β*⊂h(Bj⊂H(@J_(J⊂(Ip_'@@⊂0'BIp ↓A `_β↓ `⊂βA_+A
p +A
p %@a(%↓ p %↓ `(%↓ ` %↓` %↓@(%BiP0"Qεa_πβ@Pβ∀A∃λα@`5α↓ Dxα↓ Tpα↓@Tpα↓@Thαα4hα∪D`α@TXεRa_↓R``(α∩@`8↓R@P@α∩@P@α∩@@Hα∩@@@αR@@@α∩@0Hα∩@0@αR@0@α∩@0@α∩@08α∩@@(α∩`@_α∪↓∀hβ⊃(C8
εcA`α@⊂ β@IPHα@iPHαi@X↓↓ @(↓B 0 β↓I0_¬i _¬i _¬i ⊂¬jP *@j@ *↓
0 )A
()↓
⊂((A*((↓*('A)p('A)p('A*_"Qπ↓ Gβ@H∧∀!5αADxα↓`Dpαα 4p↓B@4hαα Dhαα 4hααDhαA@Dpβ@Tx¬T↓¬βSa∀pα dhα`d`α↓ TXα↓`DPαα 4P↓B@4P↓B@4P↓B DP↓B 4P↓B4P↓A`DPα@`TX¬∪ d("∞"1@∞π↓ ()α*⊂ ↓A
αA p β↓ ` βA ` ∧iP(∧iP ∧@iP ∧↓ @(∧↓ @ ∧A @ ∧A @ ∧↓)@ βAI@ β↓IP_αAiP ↓B `@A p0↓↓
`(%@a %↓ `(%↓ ` %↓ P %↓P %↓0(%BIP0"Qα 8 Bβ`λ↓R@DPαR`DXαSDhα∪@4x↓⊃(A_∧FqpβIp '↓)P(&↓)0(%↓ _"Qα@`↓C0↓↓`4P↓↓@DP↓ADX↓@ D`β∪Th↓Q(A(εε↓↓pA⊂%A⊂%@p_%``⊂%`P_%@` %B @0&AλT βCλ↓dPπ⊃(A8εH↓↓pα↓I@P%A@_%@@p_%`p_%`p⊂%@`@ %BIP0"QβX
B ⊂(α∪`DxαS`eλα∀ Eλα∪@tP¬∩@t("λ↓ hα∧ p_'A)@0%↓I _"Q``Ac`0↓∪`Dpβ∪ t`α@4Pα↓ 4P↓A`$P↓α$("↔`Qαπ@⊂_%↓) (%↓)0_"Q∂PhBβ` ↓↓$hα@D`α@ T`α@DXα@DX↓@`4P↓@`4P↓↓$P↓↓$("∨AqHαG@P_α@I`(↓@iP8@i0 Ai ↓A) ⊂βhT ?Cβ ∂ 0 ↓R@P⊂αR@P⊂αR@P⊂αR`0 ↓Q(B ∞λβap AK0H-↓@_,A`⊂,↓p_+A!⊂+A↓_+Ap +↓ p +↓↓⊂⊂+↓
` *A*P (C
⊂`*↓*@ *↓
@ )A*0 )A
0 &αa⊂⊂%Ba ⊂%β!_%@@@βi ⊂↓D) @↓BI0(βαλT ∪π$!p∂α``H↓∀a⊂8α∀@P_↓A@Eλα↓@0α∀@ αA@4xαAP(α∪`@(αADxα↓@0(↓S@P`αS@@`αSA⊂0α∪A β∪@`⊂↓`@λ↓S@@ ↓@@_↓∪ `⊂↓@ @ ↓∪! ⊂↓A 4`α P_αA$XαB `_↓∩`@Pβ`$Xαα`@ ↓∩@Q⊂↓R@A_↓∩@A⊂↓R@A⊂↓∩`A↓R`@x↓S@h↓SPPα∪ `0αSaU⊂∧⊃(Cpλ∧ca(¬@j@(*↓*@(*@hpλ)A
0(@` _(@@0_+j@ )A* ((A*('↓IP0&↓ P_&↓P(%A`(%@`p(%a⊂ %a ⊂%a⊂_%a_%@@p_%@`@ &α)P0"QπqπC`8β∀↓∧pα↓4hα↓@4`↓B $`↓α@$X↓B 4X↓B 4PαA`DPαA@DPαA TX↓A U⊂αT Txβ∪@ThαST`α∪4`↓`$`↓@4`βS D8S4XαR`TXαS4("∧↓0p D`@ &AI@_A 0_↓↓ 0⊂↓A _↓↓) ⊂↓A ⊂↓A `('↓ ` &A)P &↓ ⊂&↓0⊂&↓ _&↓ ⊂&↓⊂_&AI` "Qα⊃ππα0Pα∀@uλα 5λ↓`E↓@`Dx↓@`Tx↓↓Dx↓↓E(α∃U α∃E α∀`U_α∀`E_α∀@U⊂α∀@E⊂α∀ Uλα∩`0_α∩@PλαR@Pλα∩A∀XβST("ε#1P∪GB@,αjp(α↓
p β↓
` βA
` βA
P(βA
P ∧↓
P ∧jP βA
@(β@j⊂8β@j⊂8βj@ βJ@ α@j@ αj0(αj0 α@j0 αA
0 βj0 β↓
(βA
∧↓
∧↓
∧↓
8αA
⊂Hα↓
⊂H↓A
⊂H↓↓
⊂ B*⊂_↓AJ (↓
_&`⊂_%B @%↓i0(&hT
π∧↓_ C`0⊂β∃Au(¬@@E_¬A 5λα@@P0↓T@_αA@Dxα↓P αS@@(α@thα↓A4`αA!∀`α↓@DXα↓`DXα↓`DPαA@TPα↓`P@↓R@@0βα4X↓A!(αR`@_¬@d`ε!∀pα@@ _β⊃(AX
Hα1_βA@`0(α0H'A A '↓@8α@iP αA@`_&↓`(β↓ 0(β↓ @(%Ap ↓↓i0 βBi (βα) βA βA β↓) β↓) β↓!_%↓P0∧i0_ααP(%A ↓↓ 0&α@H&A p0"QβA8G#↓(↓↔@5h↓W %`↓U↓%⊂¬T P_α∀@(αS`@(β∪@@(↓@ Dpα↓ ⊂α∪ @(↓@@Dhα↓0_α∪P_↓@`T`α↓ α∪@_↓AD`α@0 αS@λ↓A D`α (αSp(α∪ P(α∪@@_αSA$h∧S4X↓R`$P↓R@$("π%αX∂πB↓@-εP8∧↓K@_A↓0_.@⊂(¬@k0_A↓@_-@@ εk _↓↓↓@_,@` (α@`⊂,@@0 α@@`⊂,`0 α@@`⊂,@@ αjp_↓A @_+@@@ αj`_ααjP_αBjP⊂αA 0 *`P α@J@⊂β↓P⊂)C P⊂β@J pα``_)@p α@@p⊂(@`p ε@j⊂⊂∧↓↓@_(`p(εip_∧↓↓@_'@A⊂ ¬A `_∧A↓⊂(&A↓(βAi H↓¬i H↓¬HT ∂
¬ap∂βC%0∞∃`(αB U_αA`PX↓T `@αB`5αB@@`↓S`PXαβ4xαB`@`↓S@PXαA 0↓∪ P`α↓ 0↓∪ P`α↓ 0↓∪Phα↓4`αCP ↓R```α↓4XαC!4XαC!4PββP_α∩@Phα↓ $PαC @(↓∩@Phα↓ 8↓∩@P`αA00↓R@P`α↓ 8↓∩`@`αβ 4Xαβ@`↓R`PPαC4`αα@@`↓SPHαα`DhααPHαS@P(β↓`tx∞T#$("πd∩(∩λ#p⊂4lp_-α@_,β ⊂+↓@P8*A!()A!0 )↓!00(A!0_@j⊂ ¬@` (↓↓0_↓A p ε@@ 'A↓0_α↓ ` ¬@`P '↓↓ _β↓ P(∧@`p &A↓⊂_∧↓ P ∧a⊂ &↓ p_∧A)@ ∧A &↓p_¬↓ @ βa (&↓P_¬A @ αa0 &↓0_¬A)P @a@ &Aa@ '↓!@ '↓!0 'A↓⊂('↓`P0&@`⊂h&`@@%@i _%HT ¬Hd"8∂∧p(αV!⊂⊂∧⊗@⊂∧@ U8αa⊂λαU@@ ∧@U0α↓ p_↓U@@@α∃ P8αU @@α∃ @@α∃ @@α∀"uλU@@α∃@@α∃@@α∃@@α∃@@α∀`P8αT`@@α∀`@@α∀`@@α∀`@@α∀@P8αT@@@α∀@@@α∀@@@α∀@@@α∀ @@α∀ @@α∀ @@α∀ 0H↓T@@α∀@@α∩`0⊂↓@ 0(↓R@Pλ∧`DP∧ P⊂α∩Aλα@ DPβ@A∀Xα↓@T("ββQ`∪GB⊂H,C+(αA*p βA*p βA*` ∧@j` *A*P *A
P (E
⊃ *↓↓ *↓↓ *↓↓ *↓p(*↓p )A p )A↓ )Ap()Ap )Ap )↓ p )↓p(↓@J βA@⊂)↓p ↓@j βA0⊂(A↓ A
⊂ ∧Aj⊂ ¬↓
⊂_(↓
%@` _%↓ ⊂_%α @%↓i0 "Q↓Qh∞ caλβ@ EHπ⊗@_∧∃`@ ∧∃@@(∧∃@@0β∃@@@α∃ P@α∃ @@αU @@α∃ @@α∀"Eλ
∃@@α∃@@α∃@@α∃@8αU@8α∀`P8α∀`@@α∀`@8αT`@8α∀`@8α∀@P8α∀@@8α@`%⊂α↓`@ ↓∀@@8α`5⊂α↓`@_↓∀ @@α Eλαα uλαα@Eλ↓TEα∩`0⊂↓R@Pλ↓RA∧P∧∩@tXα⊃(@p∃JDqpλα`P,β p+A @HβA*p_βα↓(+↓`8∧A*` βAA _*A↓⊂ *A↓⊂ *A↓⊂ *A↓⊂ *↓!((λjα_*↓↓⊂ ∧A
@ ∧A↓⊂ )A!(∧A
0 ∧A↓⊂()A↓⊂ ∧A
0 ∧A↓⊂ )A↓⊂ ∧A
0 ∧↓!()↓! ∧A
∧A↓⊂ )↓↓⊂ ∧A
∧A↓(↓J ∧↓! ↓@J⊂ ∧A↓⊂ ↓j⊂ ∧A↓⊂ ↓J⊂ ∧A↓⊂ @j⊂ ∧@a00(@a⊂ ε↓
∧A
∧@j_∧A 0_↓↓@` %β @ %β @_%↓`⊂(↓↓ 0↓αI0 αAHT πJe"8∂∧ p(β@`EH¬@!0λα⊗@ ∧@a∃8α↓ p(∧U`@(βA!∃0α↓``0βU@@@αα@E0αα@Pα∃ P@αα U(αα @Hα∃ @@αB Eλ⊃∀$% αB@Hα∃@Hαα E ααPHα∃@@αα U αα@Hα∀`P@αα E_αα @Hα∀`@@αBU_αα@Hα∀`@@αα E_αα@Hα∀@@HααP⊂↓∀@@@αB@_↓∀@@@αα @⊂↓T@@@αα @⊂↓∀@0Hαα @λ↓T @H↓B`eλαα@`α∀ @@α∀ 0H↓T@@α∩`0⊂βA DPα@! ↓RA`_↓RAλα@ TPβ@A∀Xα↓@d("↔↓qPεG@`⊂α@Ip_αi`_αiP_αi@_αi0_αi0⊂α@I0⊂α@I _αi (↓↓) 0AI 0AI 0AI0 ↓AλT ⊃∧α`h∂↓0 ↓S P⊂αS `λβ∪ `λβ∪@P⊂αT (↓∀ (↓∪`0 ↓S` (↓∪@0 ↓S 0 ↓S0 ↓R@@_α∩@0 ↓Q(Bh¬β@0XαI P%αI P"Q∂1 !@
∩BD("∨¬∩hCαH%
(←@ε↔x$␈\P98↓∨3@↓∨3@␈␈␈␈pβλ␈␈␈␈(αλ{⊂$ ε(@∧?0!λX0¬'↑d_⊂↓9(g@λ
⎇HB⊂βεop_P{⊃#p¬=∪p@←0#π@PDJ@↓"≡d8⊃@↓H8K⊂{⎇Iα⊂β∀ 7{∩"⊂βλ≠`⎇␈0%ε@7x@α
≡dX⊃@↓F`\@ B⎇IA`αC[(PP{∪%⊂π!@⊂↓,?0'λ@`Qβ↑dx⊃@↓F`\@0i⎇J↓xα↑Ixtp{∀$0ε≠↔⊂↓u←0)λ Xeb ∧∪↑e_@↓⊃λλ@@h⎇JBαr\x↓∀⊂{∃$ ε(@α5?0+λ@`Q¬
↑e8⊗@αβ_j@PO⎇Kα⊂β∀ ↓60{⊗$ ε(@α{∨0-πHs}`ε∂↑fλ@↓βP∪@`U⎇L!(↓l3h↓PP{_bPβXgPβ-␈02¬`@≥ `εl≡f(
@v_≡@p∩⎇L`p↓≠h↓f@{→bPβXgPβX←04¬`@≥ `πL↑fHπMp@xS⎇M x↓)∨(↓␈@{~bPβXgP∧
␈06α` βe@λ3≡fh∩@↓T_Q↓λ
⎇MaHα"⊃λα≠0{≠bp∧∞Dp∧D←08¬`@≥ ` ≥≡gλ
@v_≡@↓⊂s⎇N!⊂↓QE_α4`{≤b β#
0∧q␈0:β`($⎇ u≡g(↓
(N↓ ∞⎇Na(↓l3hαHP{≥c`¬/\P¬≥∨0<¬ 81O
\≡gH|pY↓(b⎇O!⊂↓QE_αd{β@¬π6P¬P?0I h!h@6↑`⊂⊃@↓F`\@↓8$⎇@1hαJ7α⎇`{↓β@∧y␈0ελ␈0αH@`Q&↑`0⊂↓9(g@↓H⎇@r_β
KHβ_⊂{α∧¬e9pε=∨0∧H``6.
≠≡`P⊂↓9(g@↓Px⎇D⊂p↓≠hβ8{λdPεPt εw␈0∩I h!h@∞⊗↑b8πMp@↓h_⎇E↓⊂↓QE_βU {
" β#
0π6←0∃¬`@≥ `∂¬↑bX⊃@↓F`\@↓p1⎇E@p↓≠hβj {A`α7PπX␈0↔E`@≥ `∂6≡cPπMp@↓x≤⎇G0p↓≠hβu0{∂↓`α7Pπp←0≡H``6. ∂q↑d⊃@↓F`\@↓xk⎇K0p↓≠h∧ ⊂{↔!`α7Pλ≡?00β@ o ⊂U≡c@↓βP∪@αλ;⎇F⊃8απ"8∧≡P{Bp∧∞DpλE←0→E`@≥ `⊃)≡c @↓βP∪@α_⎇FQ8απ"8∧7p{
Bp∧∞Dpλz←0≠E`@≥ `∩⊂↑c@@↓βP∪@α L⎇G⊃8απ"8∧P {∧Bp∧∞Dp .←0 E`@≥ `∩c↑a @↓βP∪@α(R⎇BQ8απ"8∧\⊂{¬Bp∧∞Dp <␈0I@h3]∩|↑a@⊂↓9(g@α0
⎇DX↓y0∧c{↔Bp∧∞Dp H∨0/C@ o ∪_≡gh@↓βP∪@α08⎇Oa8απ"8∧i`{∨bp∧∞Dp W?0∩λ``41 ∪5↑b0⊂↓9(g@α8≥⎇Ga8απ"8∧⎇p{∂bp∧∞Dp
π∨0λβ@ o ∀%≡aλλ[(5α@l⎇C⊃Hα"⊃λ¬∩`{εD¬e9p
7␈0
HXJs`∃ ↑a`@↓βP∪@αPJ⎇CR@βJ∧8¬0`{πE@πr
x?0∂H``6. ⊗∨≡`X
@↓≠`␈@αh↔⎇AAXα7Ox¬↑ {β#0∧o∨pN←0π
pM←`↔D↑`x∀@↓iX?@αxw⎇KA8απ"8ε
`{λBp∧∞Dp#?0⊗D(ZZ@_V↑gX@↓βP∪@βλ4⎇OB`βyεε↔ |@βλ?`{⎇xow{⎇x